#include "sysCall.h"

int main (int argc, char *argv[])
{
  uprint ("hello, world\n");

  while (1);

  return 0;
}

